大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Computer-aided Design Systems 的图书(共13382本)

Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号：
作者：Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Baudry、 Beno卯t.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computing and Combinatorics [electronic resource] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings

0
索取号：
作者：Thai、 My T.、Sahni、 Sartaj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

0
索取号：
作者：Ma、 Zongmin.、Yan、 Li.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Physics [electronic resource] : Simulation of Classical and Quantum Systems

0
索取号：
作者：Scherer、 Philipp O. J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings

0
索取号：
作者：Stiller、 Burkhard.、Turck、 Filip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Integrated Systems of Meso-Meteorological and Chemical Transport Models [electronic resource]

0
索取号：
作者：Baklanov、 Alexander.、Alexander、 Mahura.、Sokhi、 Ranjeet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, M谩laga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Gargantini、 Angelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Networked Services and Applications - Engineering, Control and Management [electronic resource] : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings

0
索取号：
作者：Aagesen、 Finn Arve.、Knapskog、 Svein Johan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 鈥ʵly 4, 2010. Proceedings

0
索取号：
作者：Ferreira、 Fernando.、L枚we、 Benedikt.、Mayordomo、 Elvira.、Mendes Gomes、 Lu铆s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, M谩laga, Spain, June 28鈥揓uly 2, 2010. Proceedings

0
索取号：
作者：Vitek、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Groundwater Base Level Changes and Adjoining Hydrological Systems [electronic resource]

0
索取号：
作者：Kafri、 Uri.、Yechieli、 Yoseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Advances in Grey Systems Research [electronic resource]

0
索取号：
作者：Liu、 Sifeng.、Forrest、 Jeffrey Yi-Lin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Dynamical Systems [electronic resource]

0
索取号：
作者：Marchioro、 C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Medical Biometrics [electronic resource] : Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings

0
索取号：
作者：Zhang、 David.、Sonka、 Milan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院